Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Brazil |
|---|---|
| City | Brasilia |
| Institution | Universidade de Brasilia (UnB) |
| Institute | Departamento de Ciencia da Computacao (CIC) |
Profile
| Research fields | Software Engineering and Programming Languages,Theoretical Computer Science |
|---|---|
| Keywords | analysis, correctness proofs, Software product line, return-on-investment, Implementation |